Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions
نویسندگان
چکیده
منابع مشابه
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions
Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems ...
متن کاملCategorical Abstract Algebraic Logic: Gentzen (π)-institutions
Josep Maria Font and Ramon Jansana, inspired by previous work of Czelakowski, Blok and Pigozzi and of other members of the Barcelona algebraic logic group, studied the interaction between the algebraization of deductive systems in the sense of Tarski and the algebraization of Gentzen systems, connected with the deductive systems in various ways. Only recently, did the author extend the notion o...
متن کاملCategorical Abstract Algebraic Logic: Fibring of π-Institutions
Inspired by work of Fernández and Coniglio, we study a framework for combining, by fibring, logics formalized as π-institutions. Fibring of deductive systems, i.e., finitary and structural consequence relations over sets of formulas, as presented by Fernández and Coniglio, becomes a special case of fibring of π-institutions. Moreover, we show how their study of preservation of algebraic propert...
متن کاملCategorical Abstract Algebraic Logic: Models of π-Institutions
An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present ...
متن کاملCategorical Abstract Algebraic Logic Local Deduction Theorems for π-Institutions
In this paper, some of the results of Blok and Pigozzi on the local deductiondetachment theorems (LDDT) in Abstract Algebraic Logic, which followed pioneering work of Czelakowski on the same topic, are abstracted to cover logics formalized as π-institutions. The relationship between the LDDT and the property of various classes of I-matrices having locally definable principal I-filters is invest...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2015
ISSN: 0029-4527
DOI: 10.1215/00294527-2864343